/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package chameleon.model.game;

import java.io.File;

/**
 * This decorator is just a wrapper for an smv file.
 *
 * @author simon
 */
public class SmvFile extends GameDecorator {
    private File game_;

    public SmvFile(File smvFile){
        super(Tag.SMVTRANS);
        game_ = smvFile;
    }

    public File getFile(){
        return game_;
    }
}
